interactive theorem proving造句
造句与例句手机版
- Formal proofs often are constructed with the help of computers in interactive theorem proving.
- The HOL system is an environment for interactive theorem proving in a higher-order logic.
- This led to powerful new approaches to interactive theorem proving and has influenced the development of many subsequent functional programming languages.
- Recently, some formalist mathematicians have proposed that all of our " formal " mathematical knowledge should be systematically encoded in interactive theorem proving in the development of mathematical theories and computer software.
- The most developed subareas of automated reasoning are automated theorem proving ( and the less automated but more pragmatic subfield of interactive theorem proving ) and automated proof checking ( viewed as guaranteed correct reasoning under fixed assumptions ).
- :Any of the programs listed at Interactive theorem proving should be able to do this . ( Though I'm not an expert at using them . ) Fair warning : these things are very difficult to use . talk ) 16 : 41, 24 March 2010 ( UTC)
- It's difficult to see interactive theorem proving in a sentence. 用interactive theorem proving造句挺难的
如何用interactive theorem proving造句,用interactive theorem proving造句,interactive theorem proving in a sentence, 用interactive theorem proving造句和interactive theorem proving的例句由查查汉语词典提供,版权所有违者必究。